Mechanization of breweries.

Creating and retaining authenticity among craft breweries: a case study of local breweries in Boston, Massachusetts

Brewing has a long history in this country—first making an appearance in 1620 with the landing of the Pilgrims at Plymouth Rock in Massachusetts. Today, beers can be easily categorized into one of two types: 1) industrial, and 2) craft. The focus of this paper is on this second type, the "craft beer" and the so-called "renaissance" it experienced during the 1980s. In 1983, there were only 43 op...

The Mechanization of Mathematics

The mechanization of mathematics refers to the use of computers to find, or to help find, mathematical proofs. Turing showed that a complete reduction of mathematics to computation is not possible, but nevertheless the art and science of automated deduction has made progress. This paper describes some of the history and surveys the state of the art.

Supplying Craft Breweries With Locally Produced Ingredients

A Mechanization of Type Theory

A r e f u t a t i o n a l sys tem o f l o g i c f o r a l a n g u a g e o f o r d e r w i a p r e s e n t e d . T h i s langage i s a s l i g h t m o d i f i c a t i o n o f C h u r c h ' s \ c a l c u l u s w i t h t y p e s . The sys tem i s c o m p l e t e , i n the sense t h a t a r e f u t a t i o n o f a s e t o f sen tences e x i s t s i f and o n l y i f t h i s s e t does n o t possess...

A Mechanization of Phylogenetic Trees